signature COQIZE_STRUCTS =
sig
  structure Assem : ASSEM
end

signature COQIZE =
sig
  include COQIZE_STRUCTS

  val rpDot : string -> string 

  val ppCodeBlock : string * (Assem.instr list) -> string
  val ppFCodeHeap : string * (string list) * string -> string
  val ppCodeHeap : string * (string list) * string -> string
  val ppAsst : string * Assem.assert -> string
  val ppFCodeHeapType : string * (string list) * string -> string
  val ppCodeHeapType : string * (string list) * string -> string
  val ppSigma : string * (string list) * string * string -> string 
  val ppCbLem : string * string * (string -> string) * string * string * string * string * string -> string 
  val ppLab : (string * int) -> string
  val ppTactic : Assem.tactic -> string
end
